Higher-order functions - PDFSEARCH.IO - Document Search Engine

Higher-order functions
Results: 290

#	Item
171	lhs2TEX Andres L¨ oh Dutch HUG meeting – October 12, 2009 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Higher-order functions Functional languages Donald Knuth Haskell Literate programming Fold Map C Preprocessor Software engineering Computing Computer programming
172	STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Proving the Correctness of Functional Programs using Mizar Yatsuka Nakamura Shinshu University Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Higher-order functions Recursion Map Function First-order logic Functor Fold Mizar system Sheaf Software engineering Computing Declarative programming
173	U NIVERSITY OF C AMBRIDGE C OMPUTER L ABORATORY First-Year Computer Science (Part IA) ML Exercise Sheets Here are the exercises for the ML Practical Classes. These classes complement the Foundations of Computer Science L Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-09-10 09:26:45 Functional languages Subroutines Higher-order functions Recursion Procedural programming languages Anonymous function ML Function Fold Software engineering Computer programming Computing
174	[Faculty of Science Information and Computing Sciences] Generic programming with fixed points for mutually recursive datatypes Andres L¨oh Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Higher-order functions Functional programming Recursion Functional languages Generic programming Map Catamorphism Expr Haskell Software engineering Computing Declarative programming
175	Scala By Example DRAFT May 24, 2011 Martin Odersky Add to Reading List Source URL: www.scala-lang.org Language: English - Date: 2011-05-25 09:15:01 Subroutines Functional languages Data types Higher-order functions Functional programming Scala Anonymous function Iterator Quicksort Software engineering Computing Computer programming
176	A Shortcut Fusion Rule for Circular Program Calculation Jo˜ao Paulo Fernandes ∗ Alberto Pardo Jo˜ao Saraiva Add to Reading List Source URL: www.fing.edu.uy Language: English - Date: 2007-07-31 11:45:54 Higher-order functions Map Tree traversal Continuous function Fold Anamorphism Monad Software engineering Declarative programming Computing
177	Extracted from: Programming Clojure This PDF file contains pages extracted from Programming Clojure, published by the Pragmatic Bookshelf. For more information or to purchase a paperback or PDF copy, Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2009-10-28 15:11:09 Higher-order functions Programming paradigms Control flow Functional languages Clojure Subroutines List comprehension Filter Closure Software engineering Computing Computer programming
178	 6       Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2008-12-09 12:52:17 Higher-order functions Linked list Map Iterator Stack Recursion Binary trees Computing Software engineering Computer programming
179	6 Highe r- Or de r F unc t ions An important part of all functional programming languages is the ability to take a function you defined Add to Reading List Source URL: www.nostarch.com Language: English - Date: 2012-12-20 19:02:06 Higher-order functions Subroutines Functional programming Lambda calculus Recursion Anonymous function Map Closure Fold Software engineering Declarative programming Computing
180	Eliminating overlapping of pattern matching when verifying Erlang programs in µCRL Qiang Guo and John Derrick Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello Street, S1 4DP, UK Add to Reading List Source URL: www.erlang.se Language: English - Date: 2006-11-15 05:07:45 Higher-order functions Erlang programming language Ericsson Erlang Functional programming Pattern matching Guard Open Telecom Platform Fold Software engineering Computing Computer programming

UPDATE